1. Advances in Software EngineeringInternational Conference on Advanced Software Engineering and Its Applications, ASEA 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Computer software-- Development
Classification :
QA
76
.
758
.
I5694
2009
2. Advances in practical applications of agents, multi-agent systems, and complexity: the PAAMS collection : 16th International Conference, PAAMS 2018, Toledo, Spain, June 20-22, 2018 : proceedings
Author: / Edited by Yves Demazeau... [et al.].
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Multiagent systems -- Congresses.,Cooperating objects (Computer systems).,COMPUTERS / Software Development & Engineering / General.,Multiagent systems.,Energy and security.,Engineering and tools.,Evaluation and ethics.,Negotiation and organisations.,Personalization and learning. ,Simulation applications.,Simulation platforms.,Social networks and humans.
3. Advances in software engineering techniques
Author: Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Software engineering, Congresses
Classification :
QA76
.
758
.
I35
2009eb
4. Balancing agility and formalism in software engineerin
Author: / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Software engineering--Congresses,Computer software--Development--Congresses
5. Balancing agility and formalism in software engineering
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
6. Component-based software engineering
Author: / George T. Heineman ... [et al.] (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Software engineering,-- Congresses,a04,Computer software--Development--Congresses.
Classification :
QA76
.
758
.
C39
2005
7. Component-based software engineering
Author: / George T. Heineman ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Software engineering--Congresses,Computer software--Development--Congresses,Component-based software engineering,CBSE
Classification :
QA
,
76
.
758
,.
C39
,
2005
8. Component-based software engineering : 8th International Symposium, CBSE 2005, St. Louis, Mo, USA, May 14-15, 2005 : proceedings
Author: George T. Heineman ... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
3489
9. Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings
Author: Ivica Crnkovic....]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
3054
10. FM 2012
Author: Dimitra Giannakopoulou, Dominique Méry (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
D47
I593
2012eb
11. First IEEE International Conference Conference ]sic[ on Formal Engineering Methods: proceedings, Hiroshima, Japan, November 12-14, 1997
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Engineering-- Methodology,Congresses ، Computer software-- Development
Classification :
TA
5
.
I415
1997
12. Formal methods and software engineering :
Author: Jing Sun, Meng Sun (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
9
.
F67
13. Formal methods for multicore programming
Author: \ Marco Bernardo , Einar Broch Johnsen (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرمافزار -- تولید -- کنگره ها ,روشهای صوری (کامپیوتر) -- کنگره ها
Classification :
QA
76
.
76
.
F6
2015
E-Book
,
14. Foundations of computer software
Author: Radu Calinescu, Ethan Jackson (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
D47
M66
2011
15. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
Author:
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
Classification :
QA
76
.
76
.
D47
.
M666
2011
16. Fundamental approaches to software engineering :
Author: Alessandra Russo, Andy Schürr (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.
Classification :
QA76
.
758
.
F37
2018eb
17. Fundamental approaches to software engineering
Author: Juan de Lara, Andrea Zisman (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
758
.
F44
2012eb
18. Intelligent Software Methodologies, Tools and Techniques
Author: \ [edited by] Hamido Fujita, Ali Selamat.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Computer software -- Development -- Congresses.,Artificial intelligence -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- تولید -- کنگره ها ,هوش مصنوعی-- کنگرهها
Classification :
QA
76
.
758
.
I5
2015
E-Book
,
19. Intelligent Software Methodologies, Tools and Techniques
Author: [Edited by] Hamido Fujita, Guido Guizzi
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Computer software -- Development -- Congresses.,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- تولید -- کنگره ها
Classification :
TK
5105
.
5
.
I5
2015
E-Book
,
20. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985
Author: Edited by Harmut Ehrig...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
185-186
